DEFINITION MODULE RandomNumbers;  

  PROCEDURE Uniform(): REAL;
  PROCEDURE Exp(mu: REAL): REAL;
  PROCEDURE InitSeed(seed: LONGINT);

END RandomNumbers.
